Skip to main content

Microsoft Research Video 103666: A Marriage of Rely/Guarantee and Separation Logic

Movies Preview

SIMILAR ITEMS (based on metadata)